CrocoCosmosLEWERENTZ, Claus; SIMON, Frank; STEINBRÜCKNER, Frank et al.Lecture notes in computer science. 2002, pp 446-447, issn 0302-9743, isbn 3-540-43309-0Conference Paper

Subtypes and quantification. ReplyVOLPANO, D. M; BURTON, F. W.ACM transactions on programming languages and systems. 1991, Vol 13, Num 4, pp 631-633, issn 0164-0925Article

Tools for extracting software structure from compiled programsHWEI SHENG TEOH; WORTMAN, David B.International Conference on Software Maintenance. 2004, isbn 0-7695-2213-0, p. 526Conference Paper

Efficient dispatch of java interface methodsALPERN, Bowen; COCCHI, Anthony; GROVE, David et al.Lecture notes in computer science. 2001, pp 621-628, issn 0302-9743, isbn 3-540-42293-5Conference Paper

The Oberon-2 reflection model and its applicationMÖSSENBÖCK, H; STEINDL, C.Lecture notes in computer science. 1999, pp 40-53, issn 0302-9743, isbn 3-540-66280-4Conference Paper

Towards systematic synthesis of reflective middlewareTUMA, P; ISSARNY, V; ZARRAS, A et al.Lecture notes in computer science. 1999, pp 144-146, issn 0302-9743, isbn 3-540-66280-4Conference Paper

A linked forest manipulation system semantics rules for an attributed translation grammar for PL/OMCCLUSKEY, C. P. S.International journal of computer mathematics. 1988, Vol 24, Num 1, pp 1-28, issn 0020-7160Article

Equivalent logic programs and symmetric homogeneous forms of logic programs with equalityKWOK HUNG CHAN.Computational intelligence. 1987, Vol 3, Num 3, pp 137-145, issn 0824-7935Article

Extending graph rewriting for refactoringVAN EETVELDE, Niels; JANSSENS, Dirk.Lecture notes in computer science. 2004, pp 399-415, issn 0302-9743, isbn 3-540-23207-9, 17 p.Conference Paper

Skel-BSP: Performance portability for skeletal programmingZAVANELLA, A.Lecture notes in computer science. 2000, pp 290-299, issn 0302-9743, isbn 3-540-67553-1Conference Paper

An algebraic characterization of typability in ML with subtypingBENKE, M.Lecture notes in computer science. 1999, pp 104-119, issn 0302-9743, isbn 3-540-65719-3Conference Paper

Model-checking : A tutorial introductionMÜLLER-OLM, M; SCHMIDT, D; STEFFEN, B et al.Lecture notes in computer science. 1999, pp 330-354, issn 0302-9743, isbn 3-540-66459-9Conference Paper

Reflecting Java into SchemeANDERSON, K. R; HICKEY, T. J.Lecture notes in computer science. 1999, pp 154-174, issn 0302-9743, isbn 3-540-66280-4Conference Paper

Using concurrent Haskell to develop views over an active repositoryKARLSEN, E. W; WESTMEIER, S.Lecture notes in computer science. 1998, pp 285-303, issn 0302-9743, isbn 3-540-64849-6Conference Paper

On linear schedules of task graphs for generalized logP-machinesLÖWE, W; ZIMMERMANN, W; EISENBIEGLER, J et al.Lecture notes in computer science. 1997, pp 895-904, issn 0302-9743, isbn 3-540-63440-1Conference Paper

A «division» transformation for program and data structures and the structure clash problemMICHEL, B; SINTZOFF, M.Science of computer programming. 1988, Vol 10, Num 3, pp 247-280, issn 0167-6423Article

How darpa structures its robotics programs to improve : Locomotion and navigation : Experimental Computer ScienceJACKEL, L. D; HACKETT, Douglas; KROTKOV, Eric et al.Communications of the ACM. 2007, Vol 50, Num 11, pp 55-59, issn 0001-0782, 5 p.Article

Development strategies for PYTHIA version 7. A new HEP event generatorLÖNNBLAD, L.Computer physics communications. 1999, Vol 118, Num 2-3, pp 213-228, issn 0010-4655Article

Inductive synthesis of logic programs by composition of combinatory program schemesHAMFELT, A; NILSSON, J. F.Lecture notes in computer science. 1999, pp 143-158, issn 0302-9743, isbn 3-540-65765-7Conference Paper

From Dalang to Kava : the evolution of a reflective Java extensionWELCH, I; STROUD, R.Lecture notes in computer science. 1999, pp 2-21, issn 0302-9743, isbn 3-540-66280-4Conference Paper

The mathematical foundation of symbolic trajectory evaluationCHOU, C.-T.Lecture notes in computer science. 1999, pp 196-207, issn 0302-9743, isbn 3-540-66202-2Conference Paper

LOPSTR '97 : logic program synthesis and transformation (Leuven, 10-12 July 1997)Fuchs, Norbert E.Lecture notes in computer science. 1998, issn 0302-9743, isbn 3-540-65074-1, X, 342 p, isbn 3-540-65074-1Conference Proceedings

Naraview : An interactive 3D visualization system for parallelization of programsSASAKURA, M; JOE, K; ARAKI, K et al.Lecture notes in computer science. 1997, pp 231-242, issn 0302-9743, isbn 3-540-63766-4Conference Paper

Dynamic typing in a statically typed languageABADI, M; CARDELLI, L; PIERCE, B et al.ACM transactions on programming languages and systems. 1991, Vol 13, Num 2, pp 237-268, issn 0164-0925Article

Page / 11